Merge branch 'ci-file-filters' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 5 Jun 2021 01:47:24 +0000 (01:47 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 5 Jun 2021 01:47:24 +0000 (01:47 +0000)
commit1605ec0a44c8cb131d8c9ff66008609058d7089c
tree45ed00b0e18b50f34ef67839ae47cc4abbaebead
parent4b46e11b22fe1623fd771c38d4bd662bd2d240d4
parent9993e91add626360aa1565fe6835957e8098b241
Merge branch 'ci-file-filters' into 'master'

GtkFileFilter: Allow case-insensitive patterns

Closes #3705

See merge request GNOME/gtk!359